Formal Verification of Object-O... Bernhard Beckert (ed... Paperback Published 14 Jan 2011 Save $8.00 RRP $61.51 $53.51 In Stock
Constraints in Computational Lo... CCL '99 (Conference)... Paperback Published 18 Apr 2001 Save $7.05 RRP $61.51 $54.46 In Stock